Interpreting Observables in a Quantum World from the Categorial Standpoint

We develop a relativistic perspective on structures of quantum observables, in terms of localization systems of Boolean coordinatizing charts. This perspective implies that the quantum world is comprehended via Boolean reference frames for measurement of observables, pasted together along their overlaps. The scheme is formalized categorically, as an instance of the adjunction concept. The latter is used as a framework for the specification of a categorical equivalence signifying an invariance in the translational code of communication between Boolean localizing contexts and quantum systems. Aspects of the scheme semantics are discussed in relation to logic. The interpretation of coordinatizing localization systems, as structure sheaves, provides the basis for the development of an algebraic differential geometric machinery suited to the quantum regime.     

On Covariant Phase Space and the Variational Bicomplex

The notion of a phase space in classical mechanics is well known. The extension of this concept to field theory however, is a challenging endeavor, and over the years numerous proposals for such a generalization have appeared in the literature. In this paper We review a Hamiltonian formulation of Lagrangian field theory based on an extension to infinite dimensions of J.-M. Souriau's symplectic approach to mechanics. Following G. Zuckerman, we state our results in terms of the modern geometric theory of differential equations and the variational bicomplex. As an elementary example, we construct a phase space for the Monge–Ampere equation.     

Commuting Rank 2 Differential Operators Corresponding to a Curve of Genus 2

We construct commuting rank 2 formally self-adjoint ordinary differential operators corresponding to a curve of genus 2.     

具有无限时滞的二阶微分方程解的存在性

§ 1.　IntroductionRecently ,thedifferentialequationswithdeviatingargumentswereusuallydiscussed(see[1 ],[4],[5 ]) .In [1 ],AGARWALRPandO’REGANDconsideredequationy″(t) =f(t,y(t) ,y(σ(t) ) ) ,　a.e .t∈ [0 ,1 ]y(t) =ψ(t) ,　　　　　　　　t∈ [-r ,0 ]y( 1 ) =a ,( )andtheydiscussedtheexistenceofatleastonesolutionforequation ( ) .Inthispaper ,weconsideramoregeneralequation-x″(t) =f(t ,xt) ,　t∈ [0 ,1 ]x(t) =ψ(t) ,　　　　t∈ ( -∞ ,0 ]x( 0 ) =x( 1 ) =0 ,( 1 .1 )andsomeexistencetheor…     

IMPULSIVE CONTROL OF A FISHERY SYSTEM

This paper uses the method of linear approximation for impulsive systems and gets a theorem which guarantees a fishery modei to be asymptotically stable at its equilibrium point and gives the ecological explanation.     

Semigroups Generated by Ordinary Differential Operators in L 1(I)*

In this paper we give necessary and sufficient conditions for the existence of a C> ₀-semigroup in L ¹(I) (I real interval) generated by a second-order differential operator when suitable boundary conditions at the endpoints are imposed.     

Some Further Properties of the Accelerated Kerr-Schild Metrics

We extend the previously found accelerated Kerr-Schild metrics for Einstein-Maxwell-null dust and Einstein-Born-Infeld-null dust equations to the cases including the cosmological constant. This way we obtain the generalization of the charged de Sitter metrics in static space-times. We also give a generalization of the zero acceleration limit of our previous Einstein-Maxwell and Einstein-Born-Infeld solutions.     

Convergence of multistep discretizations of DAEs

Standard ODE methods such as linear multistep methods encounter difficulties when applied to differential-algebraic equations (DAEs) of index greater than 1. In particular, previous results for index 2 DAEs have practically ruled out the use of all explicit methods and of implicit multistep methods other than backward difference formulas (BDFs) because of stability considerations. In this paper we embed known results for semi-explicit index 1 and 2 DAEs in a more comprehensive theory based on compound multistep and one-leg discretizations. This explains and characterizes the necessary requirements that a method must fulfill in order to be applicable to semi-explicit DAEs. Thus we conclude that the most useful discretizations are those that avoid discretization of the constraint. A freer use of e.g. explicit methods for the non-stiff differential part of the DAE is then possible.Dedicated to Germund Dahlquist on the occasion of his 70th birthdayThis author thanks the Centro de Estadística y Software Matemático de la Universidad Simón Bolivar (CESMa) for permitting her free use of its research facilities.Partial support by the Swedish Research Council for Engineering Sciences TFR under contract no. 222/91-405.     

Lyapunov-type inequalities for nonlinear systems

In this paper, by using elementary analysis, we establish some new Lyapunov-type inequalities for nonlinear systems of differential equations, special cases of which contain the well-known equations such as Emden-Fowler-type and half-linear equations. The inequalities obtained here can be used as handy tools in the study of qualitative behaviour of solutions of the associated equations.     

Existence and boundary behavior for singular nonlinear differential equations with arbitrary boundary conditions

Existence theory is developed for the equation ?(u)=F(u), where ? is a formally self-adjoint singular second-order differential expression and F is nonlinear. The problem is treated in a Hilbert space and we do not require the operators induced by ? to have completely continuous resolvents. Nonlinear boundary conditions are allowed. Also, F is assumed to be weakly continuous and monotone at one point. Boundary behavior of functions associated with the domains of definitions of the operators associated with ? in the singular case is investigated. A special class of self-adjoint operators associated with ? is obtained.